Algebraic Graph Derivations for Graphical Calculi
نویسنده
چکیده
منابع مشابه
Graph complexes in deformation quantization
Kontsevich’s formality theorem and the consequent star-product formula rely on the construction of an L∞-morphism between the DGLA of polyvector fields and the DGLA of polydifferential operators. This construction uses a version of graphical calculus. In this article we present the details of this graphical calculus with emphasis on its algebraic features. It is a morphism of differential grade...
متن کاملAn Algebra of Graph Derivations Using Finite (co-) Limit Double Theories
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations according to the rules of the specification. Operations on graph derivations provide means to reason about the distribution and composition of computations. In this paper we discuss the development of an algebra of graph ...
متن کاملf-DERIVATIONS AND (f; g)-DERIVATIONS OF MV -ALGEBRAS
Recently, the algebraic theory of MV -algebras is intensively studied. In this paper, we extend the concept of derivation of $MV$-algebras and we give someillustrative examples. Moreover, as a generalization of derivations of $MV$ -algebraswe introduce the notion of $f$-derivations and $(f; g)$-derivations of $MV$-algebras.Also, we investigate some properties of them.
متن کاملObserving Reductions in Nominal Calculi Via a Graphical Encoding of Processes
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is mapped into a (ranked) graph, such that the denotation is fully abstract with respect to the usual structural congruence (i.e., two processes are equivalent exactly when the corresponding encodings yield the same gra...
متن کاملA Graph Syntax for Processes and Services
We propose a class of hierarchical graphs equipped with a simple algebraic syntax as a convenient way to describe the configurations of languages equipped with inherently hierarchical features such as sessions, fault-handling scopes, transactions or locations. The graph syntax can be seen as an intermediate representation language, that facilitates the encoding of algebraic specifications and, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996